Quantitative Spatial Reasoning for General Intelligence

نویسندگان

  • Unmesh Kurup
  • Nicholas L. Cassimatis
چکیده

One of the basic requirements of an intelligent agent is the ability to represent and reason about space. While there are a number of approaches for achieving this goal, the recent gains in efficiency of the Satisfiability approach have made it a popular choice. Modern propositional SAT solvers are efficient for a wide variety of problems. However, conversion to propositional SAT can sometimes result in a large number of variables and/or clauses. Diagrams represent space as collections of points (regions) while preserving their overall geometric character. This representation allows reasoning to be performed over (far fewer number of) regions instead of individual points. In this paper, we show how the standard DPLL algorithm augmented with diagrammatic reasoning can be used to make SAT more efficient when reasoning about space. We present DPLL-S, a complete SAT solver that utilizes diagrammatic representations when reasoning about space, and evaluate its performance against other SAT solvers.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

بررسی کنش‌های شناختی دانش‌آموزان دارای لکنت

Objective Stuttering is one of the most common speech disorders that generate many complications in children and adults. This disorder involves behavioral, cognitive and emotional interactions. So, the purpose of the current study is to investigate the cognitive functions of students with stuttering. Materials & Methods A descriptive study, comprising of 30 students (8 females and 22 males) fr...

متن کامل

P27: Brain Network as a Pivotal Part in Intelligence Function

Neuroimaging findings have proposed that some brain regions including the precuneus, posterior cingulate, and medial prefrontal cortex play an essential role of a structural core in the brain. Network organization endures rapid alterations in development with changes in axonal synaptic connectivity, white matter volume, and the thickness of corresponding cortical regions. Structural maturation ...

متن کامل

ALC(F): a new description logic for spatial reasoning in images

In image interpretation and computer vision, spatial relations between objects and spatial reasoning are of prime importance for recognition and interpretation tasks. Quantitative representations of spatial knowledge have been proposed in the literature. In the Artificial Intelligence community, logical formalisms such as ontologies have also been proposed for spatial knowledge representation a...

متن کامل

ALC(𝔽): A New Description Logic for Spatial Reasoning in Images

In image interpretation and computer vision, spatial relations between objects and spatial reasoning are of prime importance for recognition and interpretation tasks. Quantitative representations of spatial knowledge have been proposed in the literature. In the Artificial Intelligence community, logical formalisms such as ontologies have also been proposed for spatial knowledge representation a...

متن کامل

From Perception to Decision Making by Means of Qualitative Abstraction

Spatial Cognition is an interdisciplinary research area that among other things serves as a testbed for numerous approaches to knowledge representation and for results from artificial intelligence, cognitive psychology, soft computing, geography, biological cybernetics, and robotics. Spatial and temporal granularity are of particular relevance in spatial cognition for at least two different rea...

متن کامل

Dissociable brain biomarkers of fluid intelligence

Cognitive neuroscience has long sought to understand the biological foundations of human intelligence. Decades of research have revealed that general intelligence is correlated with two brain-based biomarkers: the concentration of the brain biochemical N-acetyl aspartate (NAA) measured by proton magnetic resonance spectroscopy (MRS) and total brain volume measured using structural MR imaging (M...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009